extensional equality การใช้

ประโยค

ตัวอย่างการใช้เพิ่มเติม:   1  2


1. For this reason no programming language implements function equality as extensional equality.
2. Referential equality implies intensional and extensional equality.
3. Deciding on extensional equality is undecidable in general and even for functions with finite domains often intractable.
4. In other words, the following extensional equality of functions holds for every " x ":
5. Intensional equality implies extensional equality ( under the assumption that the functions do not depend on the value of the program counter .)

คำอื่น ๆ

1. "extension language kit" การใช้
2. "extension lead" การใช้
3. "extension of time" การใช้
4. "extension phone" การใช้
5. "extension risk" การใช้
6. "extension rule" การใช้
7. "extension service" การใช้
8. "extension strategy" การใช้
9. "extension tube" การใช้
10. "extensional" การใช้
11. "extensionality" การใช้
12. "extensionally" การใช้
13. "extensionist" การใช้
14. "extensity" การใช้
15. "extensive" การใช้
16. "extensive forest" การใช้
17. "extensive production" การใช้
18. "extensively" การใช้
19. "extensiveness" การใช้